((v1 v2 4) (v4 v8 2) (v4 v1 4) (v4 v2 5) (v7 v2 8) (v5 v8 9) (v1 v8 0) (v3 v6 6) (v1 v7 0) (v3 v5 6) (v6 v7 5) (v6 v5 1) (v3 v1 3) (v6 v2 5) (v4 v6 8) (v4 v7 5) (v7 v5 9))
108
((v7 v2) (v3 v6) (v3 v8))